#include <am.h>
#include <klib.h>
#include <klib-macros.h>

#define IP_BASE_ADDR 0x10004000
#define REG_SYS *((volatile uint32_t *)(IP_BASE_ADDR))
#define REG_IDL *((volatile uint32_t *)(IP_BASE_ADDR + 4))
#define REG_IDH *((volatile uint32_t *)(IP_BASE_ADDR + 8))

int main(){
    putstr("Hello World!\n");
    printf("sys: %x idl: %x idh: %x\n", REG_SYS, REG_IDL, REG_IDH);

    return 0;
}
